Feeds to Scour
SubscribedAll
Scoured 24524 posts in 13.7 ms
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology  🦀Rust Verification
arxiv.org·2d·
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification  ⚔️Lean Tactics
goedelcodeprover.github.io·6d·Hacker News·
Linear types proposal for Hare  🔒Type Safety
yerinalexey.srht.site·19h·Lobsters, Hacker News·
From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers  ✅Archive Fixity
agentseal.org·2d·Hacker News, r/netsec·
NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification  📐Proof Assistants
github.com·5d·Hacker News·
WybeCoder: Verified Imperative Code Generation  ⚔️Lean Tactics
arxiv.org·1d·
Sal: Multi-modal Verification of Replicated Data Types  🛡️Archive Verification
arxiv.org·2d·
Proofdoors and Efficiency of CDCL Solvers  🎯Interactive Provers
arxiv.org·3d·
StepCache: Step-Level Reuse with Lightweight Verification and Selective Patching for LLM Serving  🔄Reproducible Builds
arxiv.org·1d·
Decidable By Construction: Design-Time Verification for Trustworthy AI  ⚖️Verification Calculi
arxiv.org·6d·
Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos  👁️System Observability
arxiv.org·1d·
Noise Inference by Recycling Test Rounds in Verification Protocols  🔧Hardware Verification
arxiv.org·1d·
From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning  🔧Hardware Verification
arxiv.org·6d·
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving  🔢Bitwise Algorithms
arxiv.org·2d·
UCAgent: An End-to-End Agent for Block-Level Functional Verification  🔧Hardware Verification
arxiv.org·3d·
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra  🧮SMT Solvers
arxiv.org·1d·
Information-Theoretic Limits of Safety Verification for Self-Improving Systems  🎯Performance Proofs
arxiv.org·2d·
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking  🔍FPGA Verification
arxiv.org·6d·
From Inference Routing to Agent Orchestration: Declarative Policy Compilation with Cross-Layer Verification  🔄Session Type Inference
arxiv.org·2d·
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems  ⏰Temporal Logic
arxiv.org·6d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help